Arithmetization of formal system
[計] 形式系統算術化
?? 詞語組成解析
[計] 算術化
of
[?v]
prep. 關于;屬于…的;由…制成;
aux. 助動詞 [非標準用語、方言] =have [主用于虛擬語氣];
formal
['f?:m?l]
adj. （學校教育或培訓）正規的;方式上的;禮儀上的;
n. <美>須穿禮服的社交集會;<口>夜禮服;
??? 情景例句
When you're ready to get off, remember to press the button near your seat.
當你要下車時，記得按你座位旁的按鈕。
I must say that I'm a little at a loss as to how to introduce them.
我必須表明對于如何介紹他們，我有點不知所措。
They say it's going to be wet and windy.
據說是要刮風下雨。